MARIA PAOLA BONACINA : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (32)
Les plus populaires
Liste
- Liste
- Tableau

1

On rewrite programs: Semantics and relationship with prolog

Maria Paola Bonacina, Jieh Hsiang

Journal:

The Journal of Logic Programming

Année:

1992

Langue:

english

Fichier:

PDF, 1.86 MB

english, 1992

2

Semantically-Guided Goal-Sensitive Reasoning: Model Representation

Bonacina, Maria Paola, Plaisted, David A.

Journal:

Journal of Automated Reasoning

Année:

2016

Langue:

english

Fichier:

PDF, 468 KB

english, 2016

3

Semantically-Guided Goal-Sensitive Reasoning: Inference System and Completeness

Bonacina, Maria Paola, Plaisted, David A.

Journal:

Journal of Automated Reasoning

Année:

2017

Langue:

english

Fichier:

PDF, 901 KB

english, 2017

4

Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover

Maria Paola Bonacina, Jieh Hsiang

Journal:

Journal of Symbolic Computation

Année:

1995

Fichier:

PDF, 1.00 MB

1995

5

PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems

HANTAO ZHANG, MARIA PAOLA BONACINA, JIEH HSIANG

Journal:

Journal of Symbolic Computation

Année:

1996

Langue:

english

Fichier:

PDF, 593 KB

english, 1996

6

On the Reconstruction of Proofs in Distributed Theorem Proving: a Modified Clause-Diffusion Method

MARIA PAOLA BONACINA

Journal:

Journal of Symbolic Computation

Année:

1996

Langue:

english

Fichier:

PDF, 541 KB

english, 1996

7

Towards a foundation of completion procedures as semidecision procedures

Maria Paola Bonacina, Jieh Hsiang

Journal:

Theoretical Computer Science

Année:

1995

Langue:

english

Fichier:

PDF, 3.35 MB

english, 1995

8

Rewrite-Based Decision Procedures

Maria Paola Bonacina, Mnacho Echenim

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 420 KB

english, 2007

9

Rewrite-Based Satisfiability Procedures for Recursive Data Structures

Maria Paola Bonacina, Mnacho Echenim

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 373 KB

english, 2007

10

Towards a unified model of search in theorem-proving: subgoal-reduction strategies

Maria Paola Bonacina

Journal:

Journal of Symbolic Computation

Année:

2005

Langue:

english

Fichier:

PDF, 638 KB

english, 2005

11

Theory decision by decomposition

Maria Paola Bonacina, Mnacho Echenim

Journal:

Journal of Symbolic Computation

Année:

2010

Langue:

english

Fichier:

PDF, 3.09 MB

english, 2010

12

Preface: Volume 58, Issue 2

Maria Paola Bonacina, Bernhard Gramlich

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2001

Langue:

english

Fichier:

PDF, 47 KB

english, 2001

13

On subsumption in distributed derivations

Maria Paola Bonacina, Jieh Hsiang

Journal:

Journal of Automated Reasoning

Année:

1994

Langue:

english

Fichier:

PDF, 1.25 MB

english, 1994

14

Parallelization of deduction strategies: An analytical study

Maria Paola Bonacina, Jieh Hsiang

Journal:

Journal of Automated Reasoning

Année:

1994

Langue:

english

Fichier:

PDF, 2.90 MB

english, 1994

15

On semantic resolution with lemmaizing and contraction and a formal treatment of caching

Maria Paola Bonacina, Jieh Hsiang

Journal:

New Generation Computing

Année:

1998

Langue:

english

Fichier:

PDF, 2.01 MB

english, 1998

16

On Deciding Satisfiability by Theorem Proving with Speculative Inferences

Maria Paola Bonacina, Christopher A. Lynch, Leonardo de Moura

Journal:

Journal of Automated Reasoning

Année:

2011

Langue:

english

Fichier:

PDF, 779 KB

english, 2011

17

Preface

Maria Paola Bonacina, Thierry Boy de la Tour

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 76 KB

english, 2005

18

Computing: report leaps geographical barriers but stumbles over gender

Pollack, Martha E., Hambrusch, Susanne E., Ellis, Carla Schlatter, Grosz, Barbara J., Hodgins, Jessica, Bajcsy, Ruzena, Brodley, Carla E., Aiello, Luigia Carlucci, Bonacina, Maria Paola, Clarke, Lori

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 122 KB

english, 2006

19

A model and a first analysis of distributed‐search contraction‐based strategies

Maria Paola Bonacina

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

1999

Langue:

english

Fichier:

PDF, 408 KB

english, 1999

20

A taxonomy of parallel strategies for deduction

Maria Paola Bonacina

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

2000

Langue:

english

Fichier:

PDF, 205 KB

english, 2000

21

On the Modelling of Search in Theorem Proving— Towards a Theory of Strategy Analysis

Maria Paola Bonacina, Jieh Hsiang

Journal:

Information and Computation

Année:

1998

Langue:

english

Fichier:

PDF, 958 KB

english, 1998

22

Significance of pericardial effusion after heart transplantation

Guglielma R. Ciliberto, Maria C. Anjos, Edoardo Gronda, Edgardo Bonacina, Gianbattista Danzi, Paola Colombo, Maurizio Mangiavacchi, Antonia Alberti, Maria Frigerio, Claudio De Vita

Journal:

The American Journal of Cardiology

Année:

1995

Langue:

english

Fichier:

PDF, 566 KB

english, 1995

23

Acute rejection after heart transplantation: Noninvasive echocardiographic evaluation

Guglielma Rita Ciliberto, Margherita Mascarello, Edoardo Gronda, Edgardo Bonacina, Maria Clemencia Anjos, Gianbattista Danzi, Paola Colombo, Maria Frigerio, Antonia Alberti, Claudio De Vita

Journal:

Journal of the American College of Cardiology

Année:

1994

Langue:

english

Fichier:

PDF, 386 KB

english, 1994

24

[Lecture Notes in Computer Science] Automated Deduction – CADE-24 Volume 7898 || Propositional Temporal Proving with Reductions to a SAT Problem

Bonacina, Maria Paola

Année:

2013

Langue:

english

Fichier:

PDF, 316 KB

english, 2013

25

On Interpolation in Automated Theorem Proving

Bonacina, Maria Paola, Johansson, Moa

Journal:

Journal of Automated Reasoning

Année:

2015

Langue:

english

Fichier:

PDF, 988 KB

english, 2015

26

[Lecture Notes in Computer Science] Automated Reasoning and Mathematics Volume 7788 || Gibbard’s Collapse Theorem for the Indicative Conditional: An Axiomatic Approach

Bonacina, Maria Paola, Stickel, Mark E.

Année:

2013

Langue:

english

Fichier:

PDF, 160 KB

english, 2013

27

Interpolation Systems for Ground Proofs in Automated Deduction: a Survey

Bonacina, Maria Paola, Johansson, Moa

Journal:

Journal of Automated Reasoning

Année:

2015

Langue:

english

Fichier:

PDF, 972 KB

english, 2015

28

Abstract canonical inference

Bonacina, Maria Paola, Dershowitz, Nachum

Journal:

ACM Transactions on Computational Logic

Année:

2007

Langue:

english

Fichier:

PDF, 211 KB

english, 2007

29

New results on rewrite-based satisfiability procedures

Armando, Alessandro, Bonacina, Maria Paola, Ranise, Silvio, Schulz, Stephan

Journal:

ACM Transactions on Computational Logic

Année:

2009

Langue:

english

Fichier:

PDF, 737 KB

english, 2009

30

[ACM Press the second international symposium - Maui, Hawaii, United States (1997.07.20-1997.07.22)] Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97 - Experiments with subdivision of search in distributed theorem proving

Bonacina, Maria Paola

Année:

1997

Langue:

english

Fichier:

PDF, 1.68 MB

english, 1997

31

Conflict-Driven Satisfiability for Theory Combination: Transition System and Completeness

Bonacina, Maria Paola, Graham-Lengrand, Stéphane, Shankar, Natarajan

Journal:

Journal of Automated Reasoning

Année:

2019

Fichier:

PDF, 1.26 MB

2019

32

[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - Proofs in conflict-driven theory combination

Bonacina, Maria Paola, Graham-Lengrand, Stéphane, Shankar, Natarajan

Année:

2018

Langue:

english

Fichier:

PDF, 805 KB

english, 2018